Type theory

Results: 3552



#Item
31Formalisations Using Two-Level Type Theory∗ Danil Annenkov1 , Paolo Capriotti2 , and Nicolai Kraus2 1 2 University of Copenhagen

Formalisations Using Two-Level Type Theory∗ Danil Annenkov1 , Paolo Capriotti2 , and Nicolai Kraus2 1 2 University of Copenhagen

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    32CS364A: Exercise Set #2 Due by the beginning of class on Wednesday, October 9, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type your

    CS364A: Exercise Set #2 Due by the beginning of class on Wednesday, October 9, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type your

    Add to Reading List

    Source URL: theory.stanford.edu

    - Date: 2013-10-04 00:30:06
      33Di↵erential Cohesive Type Theory 1 Jacob A. Gross 1 Daniel R. Licata 2 Max S. New3 Jennifer Paykin4 Mitchell Riley2 Michael Shulman5

      Di↵erential Cohesive Type Theory 1 Jacob A. Gross 1 Daniel R. Licata 2 Max S. New3 Jennifer Paykin4 Mitchell Riley2 Michael Shulman5

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        34Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

        Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

        Add to Reading List

        Source URL: www.anupamdas.com

        - Date: 2017-08-07 04:57:01
          35Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017

          Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017

          Add to Reading List

          Source URL: hott-uf.github.io

          - Date: 2018-03-28 14:04:14
            36CS364A: Exercise Set #5 Due by the beginning of class on Wednesday, October 30, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

            CS364A: Exercise Set #5 Due by the beginning of class on Wednesday, October 30, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

            Add to Reading List

            Source URL: theory.stanford.edu

            - Date: 2013-10-27 19:11:46
              37CS364A: Exercise Set #4 Due by the beginning of class on Wednesday, October 23, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

              CS364A: Exercise Set #4 Due by the beginning of class on Wednesday, October 23, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

              Add to Reading List

              Source URL: theory.stanford.edu

              - Date: 2013-10-21 14:26:48
                38CS364A: Exercise Set #7 Due by the beginning of class on Wednesday, November 13, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type yo

                CS364A: Exercise Set #7 Due by the beginning of class on Wednesday, November 13, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type yo

                Add to Reading List

                Source URL: theory.stanford.edu

                - Date: 2013-11-06 13:58:42
                  39Two-Level Type Theory Our Lean Development Internalisation of Inverse Diagrams Formalisations Using Two-Level Type Theory Danil Annenkov1

                  Two-Level Type Theory Our Lean Development Internalisation of Inverse Diagrams Formalisations Using Two-Level Type Theory Danil Annenkov1

                  Add to Reading List

                  Source URL: hott-uf.github.io

                  - Date: 2018-03-28 14:04:14